Nuprl Definition : xxirrefl 13,42

basic
irrefl(T;R) == Irrefl(T;x,y.R(x,y)) 
latex


Upgen algebra 1
Wellformedness Lemmasxxirrefl wf
DefinitionsIrrefl(T;x,y.E(x;y))

origin